Logics and models of concurrent systems - proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 October 1984
- Författare
- Krzysztof R. Apt NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 : La Colle-sur-Loup)
- (Edited by Krzysztof R. Apt.)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1985 | Tyskland, Berlin, New York | viii, 498 sidor. ill. |